Version 1
SubGoalCombiner SGC_AND
INITSECTION
KBSECTION

IF
NRD_KillStory(_)
THEN
NRD_BadCall(_NONEXISTENT, _REF);

EXITSECTION
ENDEXITSECTION